control with limited communication and message losses

We propose an H^∞ approach to a remote control problem where the communication is constrained due to the use of a shared channel. The controller employs a periodic time sequencing scheme for message transmissions from multiple sensors and to multiple actuators of the system. It further takes into account the information on the random message losses that occur in the channel. An exact characterization for controller synthesis is obtained and is stated in terms of linear matrix inequalities. Furthermore, an analysis on the loss probabilities of the messages to accomplish stabilization is carried out. The results are illustrated through a numerical example.     

用RPGMaker建立C语言思维模式的方法研究

探讨了在C语言程序设计教学过程中为学生建立相应的思维模式的方法问题。针对非计算机专业学生基础差、专业性不强的特点,结合当前DIY的潮流,分析了C语言的基本结构,分析了RPGMaker中提供的技术可行性,提出通过促进学生使用RPG-Maker软件来制作游戏以建立相应的程序设计思维模式的方法,并提出具体案例供参考。实践表明,学生的程序设计思维能较快速、熟练地建立起来。     

Strategic reasoning about business models: a conceptual modeling approach

Strategic reasoning about business models is an integral part of service design. In fast moving markets, businesses must be able to recognize and respond strategically to disruptive change. They have to answer questions such as: what are the threats and opportunities in emerging technologies and innovations? How should they target customer groups? Who are their real competitors? How will competitive battles take shape? In this paper we define a strategic modeling framework to help understand and analyze the goals, intentions, roles, and the rationale behind the strategic actions in a business environment. This understanding is necessary in order to improve existing or design new services. The key component of the framework is a strategic business model ontology for representing and analyzing business models and strategies, using the i* agent and goal oriented methodology as a basis. The ontology introduces a strategy layer which reasons about alternative strategies that are realized in the operational layer. The framework is evaluated using a retroactive example of disruptive technology in the telecommunication services sector from the literature.     

浅析计算机专业少数民族班级的教学方法

本文针对西部地区高校中,计算机专业的少数民族班学生学习的现状,分析了教学方法中存在的一些问题及其原因,提出了几点建议。以期对其他同类地方学校的教学起借鉴作用。     

信息与计算科学专业实践教学体系的探索与优化

信息与计算科学专业是联系数学与信息科学的一门新兴专业,目前很多学校开设了这个专业,很多学校已具有较完善的理论课程,但实践教学体系尚不完善,对学生的创新能力培养非常不利。我们经过多年的积淀,并结合专业培养目标,对信息与计算科学专业的实践教学体系进行探索与优化。     

一般院校信息与计算科学专业人才培养模式研究

文章通过对信息与计算科学专业与计算机科学专业进行比较分析,提出了信息与计算科学专业的改革思想与培养方案,制定相应的理论教学课程体系和实践教学体系。本文的研究成果,将对一般高等院校信息与计算科学专业建设及其课程建设,具有一定的指导意义。     

启迪智性,温故求新——李有行教授装饰色彩艺术教学体系的创新魅力

李有行先生是我国著名的色彩教育家,国家二级教授,四川美术学院创办人,第一任校长。他开创的独特的色彩艺术教学体系在二十世纪六七八十年代中国各艺术院校中享有盛誉,被当时赞喻为"北有雷圭元,南当李有行"。他把早年留学法国学习绘画艺术的丰富经验与中国传统绘画艺术相融合,针对培养设计师为目标,创造了著名的李氏色彩教学体系。即从学习"图案艺术"到"绘画写生"再到"归纳色彩写生"完备的训练程序。在应用、设计学科内有效地制定了一整套以培养设计师为目标的"设计色彩"法,即作为艺术家和设计师双重身份的培养目标。     

Controller synthesis with guaranteed closed-loop phase constraints

In this paper, we present an analysis and synthesis approach for guaranteeing that the phase of a single-input, single-output closed-loop transfer function is contained in the interval [−α,α] for a given α>0 at all frequencies. Specifically, we first derive a sufficient condition involving a frequency domain inequality for guaranteeing a given phase constraint. Next, we use the Kalman–Yakubovich–Popov theorem to derive an equivalent time domain condition. In the case where , we show that frequency and time domain sufficient conditions specialize to the positivity theorem. Furthermore, using linear matrix inequalities, we develop a controller synthesis approach for guaranteeing a phase constraint on the closed-loop transfer function. Finally, we extend this synthesis approach to address mixed gain and phase constraints on the closed-loop transfer function.     

Controller certification

A modern problem from aerospace control involves the certification of a large set of potential controllers with either a single plant or a fleet of potential plant systems, with both plants and controllers being MIMO and, for the moment, linear. Experiments on a limited number of controller/plant pairs should establish the stability and a certain level of margin of the complete set. We consider this certification problem for a set of controllers and provide algorithms for selecting an efficient subset for testing. This is done for a finite set of candidate controllers and, at least for SISO plants, for compact infinite set. In doing this, the ν-gap metric will be the main tool. Computational examples are given, including one of certification of an aircraft engine controller. The overarching aim is to introduce truly MIMO margin calculations and to understand their efficacy in certifying stability over a set of controllers and in replacing legacy single-loop gain and phase margin calculations.     

基于工作流的高校科研项目管理Petri网建模

科研项目管理是高校科研信息系统的核心部分之一,利用Petri网,对复杂的科研项目管理工作流程建模,解决高校信息化中较为复杂的科研项目管理工作流问题。以高校科研项目申请流程为例,给出了相关定义,分析和解决建模中遇到的几个问题。